Testing and debugging message passing applications based on the synergy of program and specification executions

Testing and Debugging Message Passing Programs in Synergy with their Specifications

Methods and Techniques for the Development of Parallel and Distributed Applications

In this PhD thesis we present a methodology for the objective error detection for message passing applications composed by the Ensemble composition architecture. The methodology may be considered as a Parallel and Distributed Software Engineering process. It involves software development management, and links design, implementation and testing in an integrated development process. We propose th...

The Performance of Two Tracing and Replay Algorithms for Message-Passing Parallel Programs

Debugging parallel message-passing programs is complicated by the non-determinism that is inherent in those programs. Cyclical debugging, which is a proven method for sequential programs, often fails when debugging parallel programs because different executions of the same program may exhibit different behaviors due to non-determinism. Some approaches have been studied to remedy this problem. W...

Debugging of Distributed Object-Oriented Applications

Our first job was to adapt the causal partial order of events to the new context of object oriented distributed applications. We want to order method invocations, method executions and blocks of code. By this way we adopt an approach based on a logic of action where only two events are needed : the begin and the end of the action. Then the causal ordering of distributed objects applications is ...

Partitioning Patches into Test-equivalence Classes for Scaling Program Repair

Automated program repair is a problem of finding a transformation (called a patch) of a given incorrect program that eliminates the observable failures. It has important applications such as providing debugging aids, automatically grading assignments and patching security vulnerabilities. A common challenge faced by all existing repair techniques is scalability to large patch spaces, since ther...